EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards

Evaluating the faulty behavior of low-cost embedded microprocessor-based boards is an increasingly important issue, due to their adoption in many safety critical systems. The architecture of a complete Fault Injection environment is proposed, integrating a module for generating a collapsed list of faults, and another for performing their injection and gathering the results. To address this issue, the paper describes a software-implemented Fault Injection approach based on the Trace Exception Mode available in most microprocessors. The authors describe EXFI, a prototypical system implementing the approach, and provide data about some sample benchmark applications. The main advantages of EXFI are the low cost, the good portability, and the high efficienc

Using ER Models for Microprocessor Functional Test Coverage Evaluation

Test coverage evaluation is one of the most critical issues in microprocessor software-based testing. Whenever the test is developed in the absence of a structural model of the microprocessor, the evaluation of the final test coverage may become a major issue. In this paper, we present a microprocessor modeling technique based on entity-relationship diagrams allowing the definition and the computation of custom coverage functions. The proposed model is very flexible and particularly effective when a structural model of the microprocessor is not availabl

GPU cards as a low cost solution for efficient and fast classification of high dimensional gene expression datasets

The days when bioinformatics tools will be so reliable to become a standard aid in routine clinical diagnostics are getting very close. However, it is important to remember that the more complex and advanced bioinformatics tools become, the more performances are required by the computing platforms. Unfortunately, the cost of High Performance Computing (HPC) platforms is still prohibitive for both public and private medical practices. Therefore, to promote and facilitate the use of bioinformatics tools it is important to identify low-cost parallel computing solutions. This paper presents a successful experience in using the parallel processing capabilities of Graphical Processing Units (GPU) to speed up classification of gene expression profiles. Results show that using open source CUDA programming libraries allows to obtain a significant increase in performances and therefore to shorten the gap between advanced bioinformatics tools and real medical practic

Statistical Reliability Estimation of Microprocessor-Based Systems

What is the probability that the execution state of a given microprocessor running a given application is correct, in a certain working environment with a given soft-error rate? Trying to answer this question using fault injection can be very expensive and time consuming. This paper proposes the baseline for a new methodology, based on microprocessor error probability profiling, that aims at estimating fault injection results without the need of a typical fault injection setup. The proposed methodology is based on two main ideas: a one-time fault-injection analysis of the microprocessor architecture to characterize the probability of successful execution of each of its instructions in presence of a soft-error, and a static and very fast analysis of the control and data flow of the target software application to compute its probability of success. The presented work goes beyond the dependability evaluation problem; it also has the potential to become the backbone for new tools able to help engineers to choose the best hardware and software architecture to structurally maximize the probability of a correct execution of the target softwar

Using multi-level Petri nets models to simulate microbiota resistance to antibiotics

The spread of antibiotic resistance is a growing problem known to be caused by antibiotic usage itself. This problem can be analyzed at different levels. Antibiotic administration policies and practices affect the societal system, which is made by human individuals and by their relations. Individuals developing resistance interact with each other and with the environment while receiving antibiotic treatments moving the problem at a different level of analysis. Each individual can be further see as a meta-organism together with his associated microbiotas, which prove to have a prominent role in the resistance spreading dynamics. Eventually, in each microbiota, population dynamics and vertical or horizontal transfer events implement cellular and molecular mechanisms for resistance spreading and possibly for its prevention. Using the Nets-within-nets formalism, in this work we model the relation between different antibiotic administration protocols and resistance spread dynamics both at the human population and at the single microbiota level

A New miRNA Motif Protects Pathways’ Expression in Gene Regulatory Networks

The continuing discovery of new functions and classes of small non-coding RNAs is suggesting the presence of regulatory mechanisms far more complex than the ones identified so far. In our computational analysis of a large set of public available databases, we found statistical evidence of an inter-pathway regulatory motif, not previously described, that reveals a new protective role miRNAs may play in the successful activation of a pathway. This paper reports the main outcomes of this analysis

Agent Based Test and Repair of Distributed Systems

This article demonstrates how to use intelligent agents for testing and repairing a distributed system, whose elements may or may not have embedded BIST (Built-In Self-Test) and BISR (Built-In Self-Repair) facilities. Agents are software modules that perform monitoring, diagnosis and repair of the faults. They form together a society whose members communicate, set goals and solve tasks. An experimental solution is presented, and future developments of the proposed approach are explored

ReNE: A Cytoscape Plugin for Regulatory Network Enhancement

One of the biggest challenges in the study of biological regulatory mechanisms is the integration, modeling, and analysis of the complex interactions which take place in biological networks. Despite post transcriptional regulatory elements (i.e., miRNAs) are widely investigated in current research, their usage and visualization in biological networks is very limited. Regulatory networks are commonly limited to gene entities. To integrate networks with post transcriptional regulatory data, researchers are therefore forced to manually resort to specific third party databases. In this context, we introduce ReNE, a Cytoscape 3.x plugin designed to automatically enrich a standard gene-based regulatory network with more detailed transcriptional, post transcriptional, and translational data, resulting in an enhanced network that more precisely models the actual biological regulatory mechanisms. ReNE can automatically import a network layout from the Reactome or KEGG repositories, or work with custom pathways described using a standard OWL/XML data format that the Cytoscape import procedure accepts. Moreover, ReNE allows researchers to merge multiple pathways coming from different sources. The merged network structure is normalized to guarantee a consistent and uniform description of the network nodes and edges and to enrich all integrated data with additional annotations retrieved from genome-wide databases like NCBI, thus producing a pathway fully manageable through the Cytoscape environment. The normalized network is then analyzed to include missing transcription factors, miRNAs, and proteins. The resulting enhanced network is still a fully functional Cytoscape network where each regulatory element (transcription factor, miRNA, gene, protein) and regulatory mechanism (up-regulation/down-regulation) is clearly visually identifiable, thus enabling a better visual understanding of its role and the effect in the network behavior. The enhanced network produced by ReNE is exportable in multiple formats for further analysis via third party applications. ReNE can be freely installed from the Cytoscape App Store (http://apps.cytoscape.org/apps/rene) and the full source code is freely available for download through a SVN repository accessible at http://www.sysbio.polito.it/tools_svn/Bi​oInformatics/Rene/releases/. ReNE enhances a network by only integrating data from public repositories, without any inference or prediction. The reliability of the introduced interactions only depends on the reliability of the source data, which is out of control of ReNe developers

A Functional Verification based Fault Injection Environment

Fault injection is needed for different purposes such as analyzing the reaction of a system in a faulty environment or validating fault-detection and/or fault-correction techniques. In this paper we propose a simulation-based fault injection tool able to work at different abstraction levels and with user-defined fault models. By exploiting the facilities provided by a functional verification environment it allows to speed up the entire fault injection process: from the creation of the workload to the analysis of the results of injection campaigns. Moreover, the adoption of techniques to optimize the fault list significantly reduces the simulation time. Being the tool targeted to the validation of dependable systems, it includes a way to extract information from the Failure Mode and Effect Analysis and to correlate fault injection results with estimates

Influence of intrafamilial abuse in children's change of values towards their parents

The socialization that parents and society exercise on children instills in them a set of values towards parents. Some of these values are not lying, feeling affection for the parents, and wanting to have contact with them. In this work, we attempt to determine whether these values change in the face of intrafamilial abuse. To that end, an incidental sample was used, consisting of 2730 minors aged between 6 to 18 years, who had never suffered abuse. They were asked to put themselves in the place of the main character of a story. The story varied depending on the conditions to be studied: observation and direct suffering or account of the abuse by another, type of abuse (physical or psychological), who perpetrated the abuse (custodian or non-custodial), and who received it (the other custodian or the minor). The results show that, as a rule, children lie to conceal both parents' abusive behavior; they love their parents and want to have contact with them, even in the presence of abuse. Notwithstanding that in the presence of abuse by one of their parents, children still love them and want to have contact with both parents, a significant number of children, however, stop loving them or want to have contact with the abusive parent. These results undermine what is defended by theories like PAS with no scientific evidence, and underline the need to use scientific procedures to test the reliability of minors’ testimony based on the idea that children tell the truth.Die von Eltern und Gesellschaft initiierten Sozialisationsprozesse erziehen Kindern eine Reihe von Werten im Umgang mit ihren Eltern an. Einige dieser Werte sind beispielsweise: nicht zu lügen, eine Zuneigung zu den Eltern zu verspüren und Kontakt zu ihnen haben zu wollen. In dieser wissenschaftlichen Arbeit wird versucht zu untersuchen, ob sich diese Werte bei innerfamilialem Missbrauch verändern. Zu diesem Zweck wurde eine Stichprobe von 2730 Minderjährigen im Alter zwischen 6 und 18 Jahren, die noch nie missbraucht wurden, herangezogen. Sie wurden gebeten, sich in die Hauptfigur einer Geschichte hineinzuversetzen. Die Geschichte variierte je nach den zu untersuchenden Bedingungen: Beobachtung und direktes Erleiden oder Erzählung des Missbrauchs durch andere, Art des Missbrauchs (physisch oder psychisch), wer den Missbrauch begangen hat (erziehungsberechtigter oder nicht erziehungsberechtigter Elternteil) und wer dem Missbrauch ausgesetzt war (der andere Elternteil oder das Kind). Die Ergebnisse zeigen, dass Kinder in der Regel lügen, wenn es darum geht das missbräuchliche Verhalten von einem der beiden Elternteile zu verbergen. Sie lieben ihre Eltern und möchten Kontakt zu ihnen haben, selbst im Falle von Missbrauch. Ungeachtet dessen, das einige Kinder bei Misshandlung durch einen ihrer Elternteile, beide Eltern immer noch lieben und Kontakt zu ihnen haben wollen, hört eine signifikante Anzahl von Kinder auf, den missbrauchenden Elternteil zu lieben oder Kontakt zu ihm haben zu wollen. Diese Ergebnisse falsifizieren, was von Theorien wie PAS ohne wissenschaftliche Beweise behauptet wird und unterstreichen die Notwendigkeit der Verwendung wissenschaftlicher Verfahren, die auf der Idee fußen, dass Kinder die Wahrheit sagen, zur zuverlässigen Untersuchung der Zeugenaussagen von Kindern